Erros: tipo(T), modo(M), dominio(D), semanticos(aparte)




----------------------------------------------------------------

ARRAY_SET


array_set(5, 1, 5) - T


array_new(A), array_set(A, nonsense, 5) - T


array_set(NONSENSE, 1, 5) - M


array_new(A), array_set(A, NONSENSE, 5) - M


array_new(A), array_set(A, 1, NONSENSE) - M //funcional na proxima versao


array_new(A), array_set(A, 0, 6) - D

--

// Casos especiais, apenas semanticos

ARRAY


// array(5) - T


// array(nonsense) - T


// array(NONSENSE) - M


--

ARRAY_CLEAR


array_clear(5) - T


// array_clear(nonsense) - T


array_clear(NONSENSE) - M


--

ARRAY_NEW


array_new(5) - T


--

ARRAY_DELETE


array_delete(5) - T


// array_delete(nonsense) - T


array_delete(NONSENSE) - M


--


ARRAY_GET



array_get(5, 1, T) - T


array_new(A), array_get(A, nonsense, T) - T


// array_new(A), array_get(A, 1, 0) - T


array_get(NONSENSE, 1, T) - M


array_new(A), array_get(A, NONSENSE, T) - M


// array_new(A), array_get(A, 1, 5) - M


array_new(A), array_get(A, 0, T) - D

--


ARRAY_DELETE_ITEM


// array_delete_item(nonsense, 1) - T


array_delete_item(5, 1) - T


array_new(A), array_delete_item(A, nonsensense) - T


array_delete_item(NONSENSE, 1) - M


array_new(A), array_delete_item(A, NONSENSE). - M


array_new(A), array_delete_item(A, 0) - D


--

ARRAY_WRITE


// array_write(nonsense) - T


array_write(5) - T


array_write(NONSENSE) - M


